<p>This plugin simplify the standard gui.ajax interface. It is used by the bookmarklet inclusion.</p>